closed-graph theorem

[数] 闭图像定理